Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 of  18 نتائج ل ""Mathematical logic""

فلترة النتائج

فلترة بواسطة : موضوع Collection : Ecole Centrale Paris
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Consistency Checking in Early Software Product Line Specifications -The VCC Approach

Subjects: Model-Based Software Product Lines; Variability Modeling; Verification

  • Source: ISSN: 0948-695X.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Flexible RNA design under structure and sequence constraints using formal languages

Subjects: RNA design; Context-free languages; Random generationBethesda; Washigton DC; United States

  • Source: ACM-BCB - ACM Conference on Bioinformatics, Computational Biology and Biomedical Informatics - 2013 ; https://inria.hal.science/hal-00823279 ; ACM-BCB - ACM Conference on Bioinformatics, Computational

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Petri Net Reachability Graphs: Decidability Status of First Order Properties

Subjects: Petri nets; First order logic; Reachability graph

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-00743935 ; Logical Methods in Computer Science, 2012, 8 (4:9), pp.1-28. ⟨10.2168/LMCS-8(4:9)2012⟩ ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Formalizing Convex Hulls Algorithms ; Formalisation d'algorithmes d'enveloppes convexes

Subjects: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.4: Mechanical theorem provingEdinburgh; United Kingdom

  • Source: LNCS ; TPHOLs 2001 - 14th International Conference Theorem Proving in Higher Order Logics ; https://inria.hal.science/hal-01702679 ; TPHOLs 2001 - 14th International Conference Theorem Proving in

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Le langage des molécules du vivant

Subjects: Bioinformatique; langages formels; automate fini

  • Source: ISSN: 2263-4908 ; Bibliothèque Tangente ; https://inria.hal.science/hal-01100051 ; Bibliothèque Tangente, 2014, 52, pp.8.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

A Type-Theoretic Foundation of Delimited Continuations

Subjects: delimited continuations; control; prompt

  • Source: ISSN: 1388-3690.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Building Decision Procedures in the Calculus of Inductive Constructions

Subjects: Calculus of Inductive Constructions; Decision procedures; Theorem proversLausanne; Switzerland

  • Source: 16th EACSL Annual Conference on Computer Science and Logic - CSL 2007https://inria.hal.science/inria-0016058616th EACSL Annual Conference on Computer Science

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

L2R: A Logical Method for Reference Reconciliation

Subjects: ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.5: Heterogeneous Databases; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Vancouver; British Columbia

  • Source: Twenty-Second AAAI Conference on Artificial Intelligence ; https://inria.hal.science/inria-00433004 ; Twenty-Second AAAI Conference on Artificial Intelligence, Jul 2007, Vancouver, British Columbia,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets

Subjects: Mathematical Logic—Logic and constraint programming; Model theory; Algorithms

  • Source: ISSN: 1529-3785.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Residuation of tropical series: rationality issues

Subjects: Control theory; (max; plus) automata

  • Source: https://inria.hal.science/inria-00567390 ; [Research Report] RR-7547, INRIA. 2011, pp.19.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 of  18 نتائج ل ""Mathematical logic""